#include<bits/stdc++.h>
using namespace std;

int k[5];
void out()
{
	for(int i = 0; i < 4; i++)
	{
		printf("%d%c",k[i],(i == 3?'\n':' '));
	}
}

int main()
{
	int t_tmp = 30,t = 0,tmp = 0;
	while(1)
	{
		t_tmp --;
		t = t_tmp + t_tmp * 100;
		tmp = t;
		if(t_tmp == 0) t_tmp = 30;
		int j = 3;
		while(tmp)
		{
			k[j--] = tmp % 10;
			tmp /= 10;
		}
		cout<<t_tmp<<" "<<t<<" :";
		out();
	}
	

	return 0;
}
